21. A tight, practical integration of relations and functions
پدیدآورنده : Boley, Harold
کتابخانه: (طهران)
موضوع : ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
22. A tutorial introduction to VHDL programming /
پدیدآورنده : Orhan Gazi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : VHDL (Computer hardware description language),VHDL (Computer hardware description language)
رده :
TK7885
.
7
23. A 25-year perspective on logic programming
پدیدآورنده : [edited by]& Agostino Dovier, Enrico Pontelli
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع :
24. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
پدیدآورنده : Agostino Dovier, Enrico Pontelli )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
رده :
QA
76
.
63
.
A14
2010
25. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
26. AI and Cognitive Science '92 :
پدیدآورنده : edited by Kevin Ryan, Richard F.E. Sutcliffe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
27. AI and cognitive science :
پدیدآورنده : second Irish conference on artificial intelligence and cognitive science, Dublin city University, 14-15 September 1989 ; ed. Alan F. Smeaton and Gabriel McDermott.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intelligence artificielle -- Actes de congrès.
28. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
29. AI game programming wisdom /
پدیدآورنده : edited by Steve Rabin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer games-- Design.,Computer games-- Programming.,Computer graphics.,Artificial intelligence.,Computer games-- Design.,Computer games-- Design.,Computer games-- Programming.,Computer games-- Programming.,Computer graphics.,Computer graphics.,Computeranimation,Computergraphics.,Computerspelen.,Computerspiel,Infographie.,Intelligence artificielle.,Künstliche Intelligenz,Kunstmatige intelligentie.,Ludiciels-- Programmation.,Programmeren (computers),Programmierung,Vormgeving.
رده :
QA76
.
76
.
C672
R33
2002
30. ALPUK 92
پدیدآورنده : Krysia Broda )ed.(.
کتابخانه: (کرمان)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
31. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
32. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
33. Activities manual for Programmable logic controllers
پدیدآورنده : Frank D. Petruzella.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programmable controllers -- Problems, exercises, etc.,Programmable controllers.
34. Activities manual for programmable logic controllers /
پدیدآورنده : Frank D. Petruzella.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programmable controllers, Handbooks, manuals, etc.,Programmable controllers.
35. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
36. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
37. Advanced Computer Architectures.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture.,Datorarkitektur.,High performance computing.,Parallel computers.,Parallelverarbeitung.,Computer architecture.,COMPUTERS-- Systems Architecture-- General.,High performance computing.,Parallel computers.
رده :
QA76
.
9
.
A73S45478
38. Advanced Prolog : techniques and examples
پدیدآورنده : Ross, Peter.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Prolog )Computer program language(
39. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
40. Advanced programming using Visual Basic 2008 /
پدیدآورنده : Julia Case Bradley, Anita C. Millspaugh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,BASIC (Computer program language),Visual Basic (Computer program language),Web site development.,Application software-- Development.,BASIC (Computer program language),Visual Basic (Computer program language),Web site development.
رده :
QA76
.
73
.
B3
B6955
2010
